241. Propositional, probabilistic, and evidential reasoning :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Reasoning.,Uncertainty (Information theory)

رده :
Q335
.
W457
9999

242. Real-world reasoning :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence,Computer logic

رده :
Q335
.
R43
2011

243. Reasoning Web. Web Logic Rules

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS

رده :
E-BOOK

244. Reasoning under incomplete information in artificial intelligence : a comparison of formalisms using a single example

پدیدآورنده :

کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)

موضوع : ، Artificial intelligence,، Reasoning,، Artificial Intelligence,، Logic

245. Reasoning web :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Semantic computing, Congresses.,Semantic Web, Congresses.,Artificial Intelligence.,Computer Appl. in Administrative Data Processing.,Data Mining and Knowledge Discovery.,Database Management.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Databases.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,Semantic computing.,Semantic Web.

رده :
TK5105
.
88815

246. Reasoning with Actual and Potential Contradictions

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Logic.,Philosophy (General)

رده :
Q375
.
E358
1998

247. Reasoning with logic programming

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic programming,، Reasoning

رده :
QA
76
.
L28
Vol
.
1111

248. Recent developments and the new direction in soft-computing foundations and applications :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Soft computing, Congresses.,Artificial intelligence.,Automatic control engineering.,Computers-- Intelligence (AI) & Semantics.,Engineering: general.,Game theory.,Mathematics-- Game Theory.,Soft computing.,Technology & Engineering-- Automation.,Technology & Engineering-- General.

رده :
Q342

249. Recent trends in computer applications :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Application software, Congresses.,Computer science, Congresses.,Information technology, Congresses.,Application software.,Artificial intelligence.,Computer science.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Data mining.,Information retrieval.,Information technology.,Information technology: general issues.,Teaching skills & techniques.

رده :
QA75
.
5

250. Relational and algebraic methods in computer science :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algebraic logic, Congresses.,Computer science-- Mathematics, Congresses.,Relation algebras, Congresses.,Algebraic logic.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Relation algebras.

رده :
QA76
.
9
.
M35

251. Representing Uncertain Knowledge An Artificial Intelligence Approach.

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

رده :
Q375
.
K738
2013

252. Representing and reasoning with probabilistic knowledge : a logical approach to probabilities

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Probabilities,، Logic, Symbolic and mathematical,، Artificial intelligence

رده :
QA
273
.
B24
1990

253. Research and development in intelligent systems XIX :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Inteligencia artificial -- Congresos.,Sistemas expertos (Informática) -- Congresos.,Sistemas expertos (Informática) -- Congresos.

رده :
QA76
.
76
.
E95
M393
2003

254. Resolution Proof Systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algebra -- Data processing.,Artificial intelligence.,Computer science.

رده :
QA76
.
9
.
A96
B993
1996

255. Rough Sets :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.

رده :
Q335
.
B993
1991

256. Rough Sets and Current Trends in Computing.

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Ebooks -- UML.

257. [Rough sets and current trends in computing] [4th international conference ; proceedings]

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.,Computer vision.

258. Scalable Uncertainty Management

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Uncertainty (Information theory) -- Congresses,عدم قطعیت (نظریه اطلاعات)-- کنگره ها

رده :
Q
375
.
S8S28
2015
E-Book
,

259. Scalable uncertainty management :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Uncertainty (Information theory), Congresses

رده :
Q375
.
S86
2013

260. Scare Tactics :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Logic.,Philosophy (General)

رده :
BC175
.
B936
2000